"formal grammar" meaning in All languages combined

See formal grammar on Wiktionary

Noun [English]

Forms: formal grammars [plural]
Head templates: {{en-noun}} formal grammar (plural formal grammars)
  1. (computer science) A precise mathematical description of a formal language, consisting of terminal symbols, nonterminal symbols, a nonterminal symbol serving as start symbol, and a set of production rules that control the expansion of nonterminal symbols into strings consisting of both terminal and nonterminal symbols. Wikipedia link: formal grammar Categories (topical): Computer science Holonyms: formal language Meronyms: formation rules Related terms: generative grammar, analytic grammar Translations (description of a formal language): formalna gramatika [feminine] (Serbo-Croatian)
    Sense id: en-formal_grammar-en-noun-9Hf8UHL1 Categories (other): English entries with incorrect language header Topics: computer, computing, engineering, mathematics, natural-sciences, physical-sciences, science, sciences

Inflected forms

Download JSON data for formal grammar meaning in All languages combined (1.9kB)

{
  "forms": [
    {
      "form": "formal grammars",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "formal grammar (plural formal grammars)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        {
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [
            "Entries with incorrect language header",
            "Entry maintenance"
          ],
          "source": "w"
        },
        {
          "kind": "topical",
          "langcode": "en",
          "name": "Computer science",
          "orig": "en:Computer science",
          "parents": [
            "Computing",
            "Sciences",
            "Technology",
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        }
      ],
      "glosses": [
        "A precise mathematical description of a formal language, consisting of terminal symbols, nonterminal symbols, a nonterminal symbol serving as start symbol, and a set of production rules that control the expansion of nonterminal symbols into strings consisting of both terminal and nonterminal symbols."
      ],
      "holonyms": [
        {
          "word": "formal language"
        }
      ],
      "id": "en-formal_grammar-en-noun-9Hf8UHL1",
      "links": [
        [
          "computer science",
          "computer science"
        ],
        [
          "mathematical",
          "mathematical"
        ],
        [
          "formal language",
          "formal language"
        ],
        [
          "production rules",
          "formation rule"
        ]
      ],
      "meronyms": [
        {
          "word": "formation rules"
        }
      ],
      "raw_glosses": [
        "(computer science) A precise mathematical description of a formal language, consisting of terminal symbols, nonterminal symbols, a nonterminal symbol serving as start symbol, and a set of production rules that control the expansion of nonterminal symbols into strings consisting of both terminal and nonterminal symbols."
      ],
      "related": [
        {
          "word": "generative grammar"
        },
        {
          "word": "analytic grammar"
        }
      ],
      "topics": [
        "computer",
        "computing",
        "engineering",
        "mathematics",
        "natural-sciences",
        "physical-sciences",
        "science",
        "sciences"
      ],
      "translations": [
        {
          "code": "sh",
          "lang": "Serbo-Croatian",
          "sense": "description of a formal language",
          "tags": [
            "feminine"
          ],
          "word": "formalna gramatika"
        }
      ],
      "wikipedia": [
        "formal grammar"
      ]
    }
  ],
  "word": "formal grammar"
}
{
  "forms": [
    {
      "form": "formal grammars",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "formal grammar (plural formal grammars)",
      "name": "en-noun"
    }
  ],
  "holonyms": [
    {
      "word": "formal language"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "meronyms": [
    {
      "word": "formation rules"
    }
  ],
  "pos": "noun",
  "related": [
    {
      "word": "generative grammar"
    },
    {
      "word": "analytic grammar"
    }
  ],
  "senses": [
    {
      "categories": [
        "English countable nouns",
        "English entries with incorrect language header",
        "English lemmas",
        "English multiword terms",
        "English nouns",
        "en:Computer science"
      ],
      "glosses": [
        "A precise mathematical description of a formal language, consisting of terminal symbols, nonterminal symbols, a nonterminal symbol serving as start symbol, and a set of production rules that control the expansion of nonterminal symbols into strings consisting of both terminal and nonterminal symbols."
      ],
      "links": [
        [
          "computer science",
          "computer science"
        ],
        [
          "mathematical",
          "mathematical"
        ],
        [
          "formal language",
          "formal language"
        ],
        [
          "production rules",
          "formation rule"
        ]
      ],
      "raw_glosses": [
        "(computer science) A precise mathematical description of a formal language, consisting of terminal symbols, nonterminal symbols, a nonterminal symbol serving as start symbol, and a set of production rules that control the expansion of nonterminal symbols into strings consisting of both terminal and nonterminal symbols."
      ],
      "topics": [
        "computer",
        "computing",
        "engineering",
        "mathematics",
        "natural-sciences",
        "physical-sciences",
        "science",
        "sciences"
      ],
      "wikipedia": [
        "formal grammar"
      ]
    }
  ],
  "translations": [
    {
      "code": "sh",
      "lang": "Serbo-Croatian",
      "sense": "description of a formal language",
      "tags": [
        "feminine"
      ],
      "word": "formalna gramatika"
    }
  ],
  "word": "formal grammar"
}

This page is a part of the kaikki.org machine-readable All languages combined dictionary. This dictionary is based on structured data extracted on 2024-06-04 from the enwiktionary dump dated 2024-05-02 using wiktextract (e9e0a99 and db5a844). The data shown on this site has been post-processed and various details (e.g., extra categories) removed, some information disambiguated, and additional data merged from other sources. See the raw data download page for the unprocessed wiktextract data.

If you use this data in academic research, please cite Tatu Ylonen: Wiktextract: Wiktionary as Machine-Readable Structured Data, Proceedings of the 13th Conference on Language Resources and Evaluation (LREC), pp. 1317-1325, Marseille, 20-25 June 2022. Linking to the relevant page(s) under https://kaikki.org would also be greatly appreciated.